# -*- mode: snippet -*-
# name: Org source block
# key: <src
# --
#+begin_src ${1:agda2}
$0
#+end_src
